Interacting Process Classes: Modeling and Simulation
نویسندگان
چکیده
Many reactive control systems consist of a large number of similar interacting objects; these objects can be often grouped into classes. Such interacting process classes appear in telecommunication, transportation and avionics domains. In this paper, we propose a modeling and simulation technique for interacting process classes. Our modeling style uses well-known UML notations to capture behavior. In particular, the control flow of a process class is captured by a state diagram, unit interactions between process objects by sequence diagrams and the structural relations are captured via class diagrams. The key feature of our approach is that our simulation is symbolic. We dynamically group together objects of the same class based on their past behavior. This leads to a simulation strategy that is both time and memory efficient and we demonstrate this on wellstudied non-trivial examples of reactive systems. We also use our simulator for debugging realistic designs such as NASA’s CTAS weather monitoring system.
منابع مشابه
Modeling and Simulation of Six-Bed Cyclic Adsorption Process Using in Mercaptan Removal from Natural Gas: Non-Isothermal and Non-Adiabatic Conditions
متن کامل
Study on appropriate and modified conditions for flash sintering process by simulation modeling
Flash sintering is one of the newest techniques for sintering ceramics to near full density. It occurs in an appropriate combination of temperature and electric field. Temperature measurement is one of the most serious challenges in this process. In the present study, we tried to model a flash sintering process of 8YSZ and 3YSZ with finite element method to make an assessment for temperature di...
متن کاملModeling and Simulation of Polyhydroxybutyrate Production by Protomonas extorquens in Fed-batch Culture
Modeling and simulation of Polyhydroxybutyrate (PHB) production by Protomonas extorquens in fed-batch culture were conducted in this research. The fed-batch model, developed for this process, employed a kinetic model proposed by other researchers. Several kinetic models were investigated to choose the best model. The criterion for this selection was goodness of fit (δ2). Haldane kinetic model w...
متن کاملGroups and Group-Instantiations in Mobile Communities - Detection, Modeling and Applications
The paper investigates techniques for the detection and modeling of groups of people in a mobile community also interacting in the real world. In this scenario, the concept of contextual manifestations or instantiations of existing social groups is of special significance. In view of detecting and modeling of groups and their instantiations, several examples for classes of data (locationand vel...
متن کاملThree Dimensional Modeling of Combustion Process and Emissions Formationin Pre and Main Chambers of an Idirect Injection Diesel Enginge
The combustion processes and emission formation in pre and main chambers of a Lister 8.1 IDI diesel are simulated with the Computational Fluid Dynamics (CFD) code. The model includes spray atomization, mixture formation and distribution and subsequently the combustion processes and emissions formation modeling are carried out with considering of flow configurations in two chambers. A part load ...
متن کامل